🔗 Category Theory - abnv · Scour

[2309.11300] Partial monoid actions on objects in categories with pullbacks and their globalizations

arxiv.org·3d

🎯Type Theory

Differential Logic • 4

inquiryintoinquiry.com·5h

∫Mathematical DSLs

Duality in Monoidal Categories

arxiv.org·2d

♾️Codata Types

Categorical systems theory

danmackinlay.name·4d

🎯Type Theory

My take on transforming data

dev.to·17h·

Discuss: DEV

📋Souffle Datalog

Build a Compiler in Five Projects

kmicinski.com·1d

🎭Racket Modules

en.wikipedia.org·2d·

Discuss: Hacker News

🎭Polymorphic Variants

Let Lambda Come Over

yamlscript.org·1d

λLambda Calculus

What Bleeds Through

futurisold.github.io·2h·

Discuss: Hacker News

🥇Top AI Papers of the Week

nlp.elvissaravia.com·3h

Fundamentals of Data Visualization

clauswilke.com·2h

🔥Flamegraphs

RFC 3092: Etymology of "Foo"

datatracker.ietf.org·3h·

Discuss: Hacker News

Railway Oriented Programming

fsharpforfunandprofit.com·2d·

Discuss: Hacker News

🚂Error Monads

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·1d

🧩Monadic Parsing

**Abstract:** This paper proposes a novel methodology for automated theorem discovery within advanced set theory utilizing hyperdimensional geometric algebra...

freederia.com·3d

🔢Algebraic Datatypes

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·1d

🧮Combinator Calculus

The Little Book of Linear Algebra

little-book-of.github.io·2d

🧮Linear Algebra

The Adventures of a Pythonista in Schemeland/30

artima.com·19h

🔧Scheme Macros

Tip of the Week #144: Heterogeneous Lookup in Associative Containers

abseil.io·19h

ALW1EZ/PANO: 🔍 PANO: Advanced OSINT investigation platform combining graph visualization, timeline analysis, and AI assistance to uncover hidden connections in data. Built with Python and modern Qt.

github.com·8h

🌉Cross-Language Tools

Loading more...